- принцип дедукции
- deduction principle мат.
Русско-английский научно-технический словарь Масловского. 2015.
принцип дедукции
Look at other dictionaries:
ПРИНЦИП ЗАМЕЩЕНИЯ — правило логич. вывода, основанное на отношении тождества (равенства). В формулировке Джевонса, положившего его в основу своей теории логики, П. з. имеет след. смысл: если А = В и В * С., то А * С., т.е. из равенства Α и Β и того, что В находится… … Философская энциклопедия
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
класс — I. КЛАСС I а, м. classe f., нем. Classe <, лат. classis. 1. Разряд, подразделение людей. Во Франции есть порядок., по которому пушкари, штюрманы, и все матрозы, быв переписанными, разделяются на 3, 4 или 5частей, которые имянуются клясами,… … Исторический словарь галлицизмов русского языка
Прометеевский аккорд — (прометеевское шестизвучие) звуковой комплекс (Fis His е ais dis′ gis′), служащий основой (в первонач. виде и в форме транспозиции) одноврем. и последоват. звукосочетаний в Поэме огня ( Прометее ) А. Н. Скрябина (1910). Принцип дедукции муз.… … Российский гуманитарный энциклопедический словарь
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ДЕКАРТ — (Descartes) Рене (латинизир. имя Картезий; Renatus Cartesius) (1596 1650) фр. философ и ученый, один из основателей философии и науки Нового времени. Основные философско методологические соч.: «Рассуждение о методе» (1637), «Размышления о первой… … Философская энциклопедия
ДЖЕВОНС — (Jevons) Уильям Стенли (род. 1 сент. 1835, Ливерпуль – ум. 13 авг. 1882, близ Хастингса, Суссекс) – англ, логик, экономист и философ, последователь Джорджа Буля. Джевонс – создатель системы логики, основанной на принципе замещения равных,… … Философская энциклопедия
"КАПИТАЛ" — главный труд Маркса, к рый раскрывает экономич. законы движения капитализма и доказывает неизбежность его гибели и победы социалистич. революции. Ленин говорил о К. как о ... величайшем политико экономическом произведении нашего века... (Соч., т … Философская энциклопедия
Индукция — Индукция ♦ Induction Вид доказательства, в классическом понимании определяемый как переход от частного к общему, или от фактов к закону. Тем самым противостоит дедукции, которая обычно идет от общего к частному, от принципа к следствиям.… … Философский словарь Спонвиля
